number theory theorem